16

Formal enforcement of security policies on concurrent systems

Year:
2011
Language:
english
File:
PDF, 317 KB
english, 2011
17

Static analysis of Lyee requirements

Year:
2003
Language:
english
File:
PDF, 485 KB
english, 2003
18

A process algebra to formalize the Lyee methodology

Year:
2004
Language:
english
File:
PDF, 751 KB
english, 2004
19

Toward a new software development environment

Year:
2007
Language:
english
File:
PDF, 1.33 MB
english, 2007
20

Secrecy by interpretation functions

Year:
2007
Language:
english
File:
PDF, 342 KB
english, 2007
22

A new logic for electronic commerce protocols

Year:
2003
Language:
english
File:
PDF, 415 KB
english, 2003
27

Converting an imperative program to a declarative one

Year:
2006
Language:
english
File:
PDF, 191 KB
english, 2006
33

Towards the Correctness of Security Protocols

Year:
2003
Language:
english
File:
PDF, 356 KB
english, 2003